eslint-plugin-flowtype
![js-canonical-style](https://img.shields.io/badge/code%20style-canonical-blue.svg?style=flat-square)
Flow type linting rules for ESLint.
Installation
- Install ESLint.
- Install
babel-eslint
parser (ESLint parser does not support type annotations). - Install
eslint-plugin-flowtype
plugin.
npm install eslint --save-dev
npm install babel-eslint --save-dev
npm install eslint-plugin-flowtype --save-dev
Configuration
- Set
parser
property to babel-eslint
. - Add
plugins
section and specify eslint-plugin-flowtype
as a plugin. - Enable rules.
{
"parser": "babel-eslint",
"plugins": [
"flowtype"
],
"rules": {
"flowtype/boolean-style": [
2,
"boolean"
],
"flowtype/define-flow-type": 1,
"flowtype/delimiter-dangle": [
2,
"never"
],
"flowtype/generic-spacing": [
2,
"never"
],
"flowtype/no-primitive-constructor-types": 2,
"flowtype/no-types-missing-file-annotation": 2,
"flowtype/no-weak-types": 2,
"flowtype/object-type-delimiter": [
2,
"comma"
],
"flowtype/require-parameter-type": 2,
"flowtype/require-return-type": [
2,
"always",
{
"annotateUndefined": "never"
}
],
"flowtype/require-valid-file-annotation": 2,
"flowtype/semi": [
2,
"always"
],
"flowtype/space-after-type-colon": [
2,
"always"
],
"flowtype/space-before-generic-bracket": [
2,
"never"
],
"flowtype/space-before-type-colon": [
2,
"never"
],
"flowtype/type-id-match": [
2,
"^([A-Z][a-z0-9]+)+Type$"
],
"flowtype/union-intersection-spacing": [
2,
"always"
],
"flowtype/use-flow-type": 1,
"flowtype/valid-syntax": 1
},
"settings": {
"flowtype": {
"onlyFilesWithFlowAnnotation": false
}
}
}
Shareable configurations
Recommended
This plugin exports a recommended configuration that enforces Flow type good practices.
To enable this configuration use the extends property in your .eslintrc
config file:
{
"extends": [
"plugin:flowtype/recommended"
],
"plugins": [
"flowtype"
]
}
See ESLint documentation for more information about extending configuration files.
Community maintained configurations
The following are third-party submitted/ maintained configurations of eslint-plugin-flowtype
:
Settings
onlyFilesWithFlowAnnotation
When true
, only checks files with a @flow
annotation in the first comment.
{
"settings": {
"flowtype": {
"onlyFilesWithFlowAnnotation": true
}
}
}
Rules
array-style-complex-type
The --fix
option on the command line automatically fixes problems reported by this rule.
Enforces a particular annotation style of complex types.
Type is considered complex in these cases:
This rule takes one argument.
If it is 'verbose'
then a problem is raised when using Type[]
instead of Array<Type>
.
If it is 'shorthand'
then a problem is raised when using Array<Type>
instead of Type[]
.
The default value is 'verbose'
.
The following patterns are considered problems:
type X = (?string)[]
type X = (?string)[]
type X = Array<?string>
type X = Array<{foo: string}>
type X = (string | number)[]
type X = (string & number)[]
type X = [string, number][]
type X = {foo: string}[]
type X = (string => number)[]
type X = {
foo: string,
bar: number
}[]
type X = {
foo: string,
bar: number,
quo: boolean,
hey: Date
}[]
The following patterns are not considered problems:
type X = Array<?string>
type X = Array<?string>
type X = (?string)[]
type X = Array<string>
type X = Array<?string>
array-style-simple-type
The --fix
option on the command line automatically fixes problems reported by this rule.
Enforces a particular array type annotation style of simple types.
Type is considered simple in these cases:
This rule takes one argument.
If it is 'verbose'
then a problem is raised when using Type[]
instead of Array<Type>
.
If it is 'shorthand'
then a problem is raised when using Array<Type>
instead of Type[]
.
The default value is 'verbose'
.
The following patterns are considered problems:
type X = string[]
type X = string[]
type X = Array<string>
type X = Date[]
type X = Promise<string>[]
type X = $Keys<{foo: string}>[]
type X = any[]
type X = mixed[]
type X = void[]
type X = null[]
type X = string[][]
type X = Promise<{
foo: string,
bar: number
}>[]
type X = Promise<{
foo: string,
bar: number,
quo: boolean
}>[]
The following patterns are not considered problems:
type X = Array<string>
type X = Array<string>
type X = string[]
type X = Array<Array<string>>
type X = (?string)[]
type X = string[]
boolean-style
The --fix
option on the command line automatically fixes problems reported by this rule.
Enforces a particular style for boolean type annotations. This rule takes one argument.
If it is 'boolean'
then a problem is raised when using bool
instead of boolean
.
If it is 'bool'
then a problem is raised when using boolean
instead of bool
.
The default value is 'boolean'
.
The following patterns are considered problems:
type X = bool
type X = bool
type X = boolean
The following patterns are not considered problems:
type X = boolean
type X = boolean
type X = bool
type X = bool
define-flow-type
Marks Flow type identifiers as defined.
Used to suppress no-undef
reporting of type identifiers.
The following patterns are not considered problems:
var a: AType
var a: AType; var b: AType
var a; (a: AType)
var a: AType<BType>
type A = AType
declare type A = number
opaque type A = AType
function f(a: AType) {}
function f(a: AType.a) {}
function f(a: AType.a.b) {}
function f(a): AType {}; var a: AType
function f(a): AType {}
class C { a: AType }
class C { a: AType.a }
class C { a: AType.a.b }
class C implements AType {}
interface AType {}
declare interface A {}
({ a: ({b() {}}: AType) })
type X = {Y<AType>(): BType}
interface AType<BType> {}
var a: AType
var a: AType; var b: AType
var a; (a: AType)
var a: AType<BType>
type A = AType
declare type A = number
opaque type A = AType
function f(a: AType) {}
function f(a: AType.a) {}
function f(a: AType.a.b) {}
function f(a): AType {}; var a: AType
function f(a): AType {}
class C { a: AType }
class C { a: AType.a }
class C { a: AType.a.b }
class C implements AType {}
interface AType {}
declare interface A {}
({ a: ({b() {}}: AType) })
type X = {Y<AType>(): BType}
interface AType<BType> {}
delimiter-dangle
The --fix
option on the command line automatically fixes problems reported by this rule.
Enforces consistent use of trailing commas in Object and Tuple annotations.
This rule takes one argument which mirrors ESLint's default comma-dangle
rule.
If it is 'never'
then a problem is raised when there is a trailing comma.
If it is 'always'
then a problem is raised when there is no trailing comma.
If it is 'always-multiline'
then a problem is raised when there is no trailing comma on a multi-line definition, or there is a trailing comma on a single-line definition.
If it is 'only-multiline'
then a problem is raised when there is a trailing comma on a single-line definition. It allows, but does not enforce, trailing commas on multi-line definitions.
The default value is 'never'
.
The following patterns are considered problems:
type X = { foo: string, }
type X = { foo: string, }
type X = { foo: string; }
type X = {
foo: string,
}
type X = { foo: string }
type X = {
foo: string
}
type X = { foo: string, }
type X = {
foo: string
}
type X = { foo: string; }
type X = { [key: string]: number, }
type X = { [key: string]: number }
type X = { [key: string]: number, }
type X = {
[key: string]: number
}
type X = { [key: string]: number; }
type X = { [key: string]: number, foo: string, }
type X = {
[key: string]: number,
foo: string,
}
type X = {
[key: string]: number,
aReallyLongPropertyNameHere: string,
}
type X = { [key: string]: number, foo: string }
type X = {
[key: string]: number;
foo: string
}
type X = { [key: string]: number, foo: string, }
type X = {
[key: string]: number,
foo: string
}
type X = { [key: string]: number, foo: string, }
type X = { foo: string, [key: string]: number, }
type X = {
foo: string,
[key: string]: number,
}
type X = {
aReallyLongPropertyNameHere: string,
[key: string]: number,
}
type X = { foo: string, [key: string]: number }
type X = { foo: string; [key: string]: number }
type X = { foo: string, [key: string]: number; }
type X = {
foo: string,
[key: string]: number
}
type X = { foo: string, [key: string]: number; }
type X = [string, number,]
type X = [string, number,]
type X = [
string,
number,
]
type X = [string, number]
type X = [
string,
number
]
type X = [string, number,]
type X = [
foo, string
]
type X = [ number, string, ]
The following patterns are not considered problems:
type X = { foo: string }
type X = { foo: string }
type X = { foo: string, }
type X = { foo: string; }
type X = {
foo: string
}
type X = {
foo: string,
}
type X = { foo: string }
type X = {
foo: string,
}
type X = {
foo: string;
}
type X = { foo: string }
type X = {
foo: string
}
type X = {
foo: string,
}
type X = {
foo: string;
}
type X = {}
type X = {}
type X = {}
type X = {}
type X = { [key: string]: number }
type X = { [key: string]: number, }
type X = { [key: string]: number; }
type X = { [key: string]: number }
type X = {
[key: string]: number,
}
type X = {
[key: string]: number,
}
type X = {
[key: string]: number
}
type X = { [key: string]: number }
type X = { [key: string]: number, foo: string }
type X = { [key: string]: number, foo: string, }
type X = { [key: string]: number; foo: string; }
type X = { [key: string]: number, foo: string }
type X = {
[key: string]: number,
foo: string,
}
type X = {
[key: string]: number,
foo: string,
}
type X = {
[key: string]: number;
foo: string
}
type X = { [key: string]: number, foo: string }
type X = { foo: string, [key: string]: number }
type X = { foo: string, [key: string]: number, }
type X = { foo: string; [key: string]: number; }
type X = { foo: string, [key: string]: number }
type X = {
foo: string,
[key: string]: number,
}
type X = {
foo: string,
[key: string]: number,
}
type X = {
foo: string;
[key: string]: number
}
type X = { foo: string, [key: string]: number }
type X = [string, number]
type X = [string, number]
type X = [
string,
number
]
type X = [string, number,]
type X = [
string,
number,
]
type X = [ foo, string ]
type X = [
foo, string,
]
type X = [ number, string ]
type X = [
number,
string
]
type X = [
number,
string,
]
type X = []
type X = []
type X = []
type X = []
generic-spacing
The --fix
option on the command line automatically fixes problems reported by this rule.
Enforces consistent spacing within generic type annotation parameters.
This rule takes one argument. If it is 'never'
then a problem is raised when there is a space surrounding the generic type parameters. If it is 'always'
then a problem is raised when there is no space surrounding the generic type parameters.
The default value is 'never'
.
The following patterns are considered problems:
type X = Promise< string>
type X = Promise< string>
type X = FooBar<string >
type X = Promise< string >
type X = Promise< (foo), bar, (((baz))) >
type X = Promise<string >
type X = FooBar< string>
type X = Promise<string>
type X = Promise<(foo), bar, (((baz)))>
type X = FooBar< string >
type X = FooBar< string >
type X = Promise< (foo), bar, (((baz))) >
The following patterns are not considered problems:
type X = Promise<string>
type X = Promise<(string)>
type X = Promise<(foo), bar, (((baz)))>
type X = Promise< string >
type X = Promise< (string) >
type X = Promise< (foo), bar, (((baz))) >
newline-after-flow-annotation
This rule requires an empty line after the Flow annotation.
Options
The rule has a string option:
"always"
(default): Enforces that @flow
annotations be followed by an empty line, separated by newline (LF)"always-windows"
: Identical to "always", but will use a CRLF when autofixing"never"
: Enforces that @flow
annotations are not followed by empty lines
{
"rules": {
"flowtype/newline-after-flow-annotation": [
2,
"always"
]
}
}
The following patterns are considered problems:
import Foo from './foo';
import Foo from './foo';
import Foo from './foo';
The following patterns are not considered problems:
import Foo from './foo';
import Foo from './foo';
import Foo from './foo';
no-dupe-keys
Checks for duplicate properties in Object annotations.
This rule mirrors ESLint's no-dupe-keys rule.
{
"rules": {
"flowtype/no-dupe-keys": 2
}
}
The following patterns are considered problems:
type f = { a: number, b: string, a: number }
type f = { a: number, b: string, a: string }
type f = { get(key: "a"): string, get(key: "a"): string }
type f = { get(key: 1): string, get(key: 1): string }
type f = { get(key: 1.1): string, get(key: 1.1): string }
type f = { get(key: true): string, get(key: true): string }
type f = { get(key: {a: 1}): string, get(key: {a: 1}):string }
var a = "a"; type f = { get(key: a): string, get(key: a): string }
var b = 1; type f = { get(key: b): string, get(key: b): string }
var c = true; type f = { get(key: c): string, get(key: c): string }
var d = {}; type f = { get(key: d): string, get(key: d): string }
var e = []; type f = { get(key: e): string, get(key: e): string }
var e = [1, "a"]; type f = { get(key: e): string, get(key: e): string }
function fn() {}; type f = { get(key: fn): string, get(key: fn): string }
The following patterns are not considered problems:
type FooType = { a: number, b: string, c: number }
type FooType = { a: number, b: string, a: number }
type f = { get(key: "a"): string, get(key: "b"): string }
type f = { get(key: 1): string, get(key: 2): string }
type f = { get(key: 1.1): string, get(key: 1.2): string }
type f = { get(key: true): string, get(key: false): string }
type f = { get(key: ["a", 1]): string, get(key: ["a", 2]): string }
type f = { get(key: ["a", ["b", 1]]): string, get(key: ["a", ["b", 2]]): string }
type f = { a: number, b: string, c: number }
type f = { get(key: "a"): string, get(key: "b"): string }
type f = { get(key: "a"): string, get(key: "a", key2: "b"): string }
type f = { get(key: "a"): string, get(key: 1): string }
type f = { get(key: { a: 1 }): string, get(key: { a: 2 }): string}
var a = {}; var b = {}; type f = { get(key: a): string, get(key: b): string }
var a = 1; var b = 1; type f = { get(key: a): string, get(key: b): string }
no-existential-type
Disallows use of the existential type (*). See more
{
"rules": {
"flowtype/no-existential-type": 2
}
}
The following patterns are considered problems:
type T = *;
type T = U<*, *>;
const f: (*) => null = () => null;
The following patterns are not considered problems:
type T = string | null
Disallows $FlowFixMe
comment suppressions.
This is especially useful as a warning to ensure instances of $FlowFixMe
in your codebase get fixed over time.
Options
This rule takes an optional RegExp that comments a text RegExp that makes the supression valid.
{
"rules": {
"flowtype/no-flow-fix-me-comments": [
1,
"TODO\s+[0-9]+"
]
}
}
no-mutable-array
The --fix
option on the command line automatically fixes problems reported by this rule.
Requires use of $ReadOnlyArray
instead of just Array
or array shorthand notation. $ReadOnlyArray
is immutable array collection type and the superclass of Array and tuple types in Flow. Use of $ReadOnlyArray
instead of Array
can solve some "problems" in typing with Flow (e.g., 1, 2).
General reasons for using immutable data structures:
- They are simpler to construct, test, and use
- They help to avoid temporal coupling
- Their usage is side-effect free (no defensive copies)
- Identity mutability problem is avoided
- They always have failure atomicity
- They are much easier to cache
Note that initialization of a variable with an empty array is considered valid (e.g., const values: Array<string> = [];
). This behavior resembles the behavior of Flow's unsealed objects, as it is assumed that empty array is intended to be mutated.
The following patterns are considered problems:
type X = Array<string>
type X = string[]
const values: Array<Array<string>> = [];
let values: Array<Array<string>>;
The following patterns are not considered problems:
type X = $ReadOnlyArray<string>
const values: Array<$ReadOnlyArray<string>> = [];
const values: $ReadOnlyArray<string>[] = [];
const values: Array<$ReadOnlyArray<string>> = new Array();
const values: Array<$ReadOnlyArray<string>> = Array();
no-primitive-constructor-types
Disallows use of primitive constructors as types, such as Boolean
, Number
and String
. See more.
{
"rules": {
"flowtype/no-primitive-constructor-types": 2
}
}
The following patterns are considered problems:
type x = Number
type x = String
type x = Boolean
type x = { a: Number }
type x = { a: String }
type x = { a: Boolean }
(x: Number) => {}
(x: String) => {}
(x: Boolean) => {}
The following patterns are not considered problems:
type x = number
type x = string
type x = boolean
type x = { a: number }
type x = { a: string }
type x = { a: boolean }
(x: number) => {}
(x: string) => {}
(x: boolean) => {}
type x = MyNumber
type x = MyString
type x = MyBoolean
no-types-missing-file-annotation
Disallows Flow type imports, aliases, and annotations in files missing a valid Flow file declaration (or a @noflow annotation).
{
"rules": {
"flowtype/no-types-missing-file-annotation": 2
}
}
The following patterns are considered problems:
const x: number = 42;
type FooType = number;
import type A from "a"
import type {A} from "a"
import {type A} from "a"
export type {A} from "a"
function t<T>(): T{}
const x: number = 42;
The following patterns are not considered problems:
const x: number = 42;
type FooType = number;
type FooType = number;
import type A from "a"
import {type A} from "a"
export type {A} from "a"
export type {A} from "a"
no-unused-expressions
An extension of ESLint's no-unused-expressions
.
This rule ignores type cast expressions, but otherwise behaves the same as ESLint's
no-unused-expressions
.
Bare type casts are useful, for example to assert the exhaustiveness of a switch
:
type Action
= { type: 'FOO', doFoo: (_: number) => void }
| { type: 'BAR', doBar: (_: string) => void };
type State = { foo: number, bar: string };
function runFooBar(action: Action, state: State): void {
switch (action.type) {
case 'FOO':
doFoo(state.foo);
break;
case 'BAR':
doBar(state.bar);
break;
default:
(action: empty);
console.error(`Impossible action: ${action.toString()}`);
}
}
This rule takes the same arguments as ESLint's no-unused-expressions
. See
that rule's documentation for details.
The following patterns are considered problems:
foo + 1
The following patterns are not considered problems:
(foo: number)
no-weak-types
Warns against weak type annotations any, Object and Function.
These types can cause flow to silently skip over portions of your code,
which would have otherwise caused type errors.
This rule optionally takes one argument, an object to configure which type warnings to enable. By default, all of the
warnings are enabled. e.g. to disable the any
warning (allowing it to exist in your code), while continuing to warn
about Object
and Function
:
{
"rules": {
"flowtype/no-weak-types": [2, {
"any": false,
"Object": true,
"Function": true
}]
}
}
{
"rules": {
"flowtype/no-weak-types": [2, {
"any": false
}]
}
}
The following patterns are considered problems:
function foo(thing): any {}
function foo(thing): Promise<any> {}
function foo(thing): Promise<Promise<any>> {}
function foo(thing): Object {}
function foo(thing): Promise<Object> {}
function foo(thing): Promise<Promise<Object>> {}
function foo(thing): Function {}
function foo(thing): Promise<Function> {}
function foo(thing): Promise<Promise<Function>> {}
(foo: any) => {}
(foo: Function) => {}
(foo?: any) => {}
(foo?: Function) => {}
(foo: { a: any }) => {}
(foo: { a: Object }) => {}
(foo: any[]) => {}
type Foo = any
type Foo = Function
type Foo = { a: any }
type Foo = { a: Object }
type Foo = { (a: Object): string }
type Foo = { (a: string): Function }
function foo(thing: any) {}
function foo(thing: Object) {}
var foo: Function
var foo: Object
class Foo { props: any }
class Foo { props: Object }
var foo: any
type X = any; type Y = Function; type Z = Object
type X = any; type Y = Function; type Z = Object
The following patterns are not considered problems:
function foo(thing): string {}
function foo(thing): Promise<string> {}
function foo(thing): Promise<Promise<string>> {}
(foo?: string) => {}
(foo: ?string) => {}
(foo: { a: string }) => {}
(foo: { a: ?string }) => {}
(foo: string[]) => {}
type Foo = string
type Foo = { a: string }
type Foo = { (a: string): string }
function foo(thing: string) {}
var foo: string
class Foo { props: string }
type X = any; type Y = Object
type X = Function
function foo(thing): Function {}
object-type-delimiter
The --fix
option on the command line automatically fixes problems reported by this rule.
Enforces consistent separators between properties in Flow object types.
This rule takes one argument.
If it is 'comma'
then a problem is raised when using ;
as a separator.
If it is 'semicolon'
then a problem is raised when using ,
as a separator.
The default value is 'comma'
.
This rule is ported from babel/flow-object-type
, however the default option was changed.
The following patterns are considered problems:
type Foo = { a: Foo, b: Bar }
type Foo = { a: Foo; b: Bar }
type Foo = { [a: string]: Foo, [b: string]: Bar }
type Foo = { [a: string]: Foo; [b: string]: Bar }
type Foo = { (): Foo, (): Bar }
type Foo = { (): Foo; (): Bar }
declare class Foo { a: Foo, }
declare class Foo { a: Foo; }
declare class Foo { [a: string]: Foo, }
declare class Foo { a: Foo; }
declare class Foo { (): Foo, }
declare class Foo { (): Foo; }
declare class Foo { static (): Foo, }
declare class Foo { static (): Foo; }
The following patterns are not considered problems:
type Foo = { a: Foo; b: Bar }
type Foo = { a: Foo, b: Bar }
type Foo = { [a: string]: Foo; [b: string]: Bar }
type Foo = { [a: string]: Foo, [b: string]: Bar }
type Foo = { (): Foo; (): Bar }
type Foo = { (): Foo, (): Bar }
type Foo = { a: Foo, b: Bar }
type Foo = { [a: string]: Foo, [b: string]: Bar }
type Foo = { (): Foo, (): Bar }
declare class Foo { a: Foo; }
declare class Foo { a: Foo, }
declare class Foo { [a: string]: Foo; }
declare class Foo { [a: string]: Foo, }
declare class Foo { (): Foo; }
declare class Foo { (): Foo, }
type Foo = { a: Foo, b: Bar }
require-exact-type
This rule enforces exact object types.
Options
The rule has one string option:
"always"
(default): Report all object type definitions that aren't exact."never"
: Report all object type definitions that are exact.
{
"rules": {
"flowtype/require-exact-type": [
2,
"always"
]
}
}
{
"rules": {
"flowtype/require-exact-type": [
2,
"never"
]
}
}
The following patterns are considered problems:
type foo = {};
type foo = { bar: string };
type foo = {};
type foo = { bar: string };
type foo = {| |};
type foo = {| bar: string |};
The following patterns are not considered problems:
type foo = {| |};
type foo = {| bar: string |};
type foo = number;
type foo = {| |};
type foo = {| bar: string |};
type foo = number;
type foo = { };
type foo = { bar: string };
type foo = number;
require-parameter-type
Requires that all function parameters have type annotations.
Options
You can skip all arrow functions by providing the excludeArrowFunctions
option with true
.
Alternatively, you can want to exclude only concise arrow functions (e.g. x => x * 2
). Provide excludeArrowFunctions
with expressionsOnly
for this.
{
"rules": {
"flowtype/require-parameter-type": [
2,
{
"excludeArrowFunctions": true
}
]
}
}
{
"rules": {
"flowtype/require-parameter-type": [
2,
{
"excludeArrowFunctions": "expressionsOnly"
}
]
}
}
You can exclude parameters that match a certain regex by using excludeParameterMatch
.
{
"rules": {
"flowtype/require-parameter-type": [
2,
{
"excludeParameterMatch": "^_"
}
]
}
}
This excludes all parameters that start with an underscore (_
).
The default pattern is a^
, which doesn't match anything, i.e., all parameters are checked.
The following patterns are considered problems:
(foo) => {}
function x(foo) {}
function x(foo) {}
(foo = 'FOO') => {}
(...foo) => {}
({foo}) => {}
([foo]) => {}
({foo = 1} = {}) => {}
(foo) => {}
(foo) => {}
function x(foo) {}
(_foo: number, bar) => {}
(_foo, bar) => {}
The following patterns are not considered problems:
(foo: string) => {}
(foo: string = 'FOO') => {}
(...foo: string) => {}
({foo}: {foo: string}) => {}
([foo]: Array) => {}
(foo) => {}
(foo) => {}
(foo) => 3
(_foo, bar: string) => {}
(_foo: number, bar: string) => {}
(foo) => {}
require-return-type
Requires that functions have return type annotation.
Options
You can skip all arrow functions by providing the excludeArrowFunctions
option with true
.
Alternatively, you can exclude a concise arrow function (e.g. () => 2
). Provide excludeArrowFunctions
with expressionsOnly
for this.
{
"rules": {
"flowtype/require-return-type": [
2,
"always",
{
"excludeArrowFunctions": true
}
]
}
}
{
"rules": {
"flowtype/require-return-type": [
2,
"always",
{
"excludeArrowFunctions": "expressionsOnly"
}
]
}
}
You can exclude or include specific tests with the includeOnlyMatching
and excludeMatching
rules.
{
"rules": {
"flowtype/require-return-type": [
2,
"always",
{
"includeOnlyMatching": [
"^F.*",
"Ba(r|z)"
]
}
]
}
}
{
"rules": {
"flowtype/require-return-type": [
2,
"always",
{
"excludeMatching": [
"^F.*",
"Ba(r|z)"
]
}
]
}
}
Both rules take an array that can contain either strings or valid RegExp statements.
The following patterns are considered problems:
(foo) => { return "foo"; }
(foo) => { return "foo"; }
(foo) => "foo"
(foo) => ({})
(foo): undefined => { return; }
(foo): void => { return; }
(foo): undefined => { return undefined; }
(foo): void => { return void 0; }
(foo): undefined => { return; }
(foo): void => { return; }
(foo) => { return; }
(foo): undefined => { return undefined; }
(foo) => { return undefined; }
(foo) => { return void 0; }
(foo) => { return 1; }
(foo) => { return undefined; }
async () => { return 2; }
async () => {}
async function x() {}
class Test { constructor() { } }
class Test { foo() { return 42; } }
class Test { foo = () => { return 42; } }
class Test { foo = () => 42; }
async () => { return; }
function* x() {}
() => { return 3; }
async () => { return 4; }
function foo() { return 42; }
function bar() { return 42; }
const foo = () => { return 42; };
const bar = () => { return 42; }
The following patterns are not considered problems:
return;
(foo): string => {}
(foo): string => {}
(foo) => { return; }
(foo): Object => ( {} )
(foo) => { return undefined; }
(foo) => { return void 0; }
(foo): undefined => { return; }
(foo): void => { return; }
(foo) => { return; }
(foo) => { return undefined; }
(foo) => { return void 0; }
(foo): undefined => { return undefined; }
(foo): void => { return void 0; }
(foo) => { return 1; }
(foo) => { return undefined; }
async function doThing(): Promise<void> {}
function* doThing(): Generator<number, void, void> { yield 2; }
class Test { constructor() { } }
class Test { constructor() { } }
class Test { foo() { return 42; } }
class Test { foo = () => { return 42; } }
class Test { foo = () => 42; }
class Test { foo = (): number => { return 42; } }
class Test { foo = (): number => 42; }
async (foo): Promise<number> => { return 3; }
() => 3
() => { return 4; }
() => undefined
() => undefined
() => { return undefined; }
() => 3
async () => 3
function foo() { return 42; }
function foo() { return 42; }
function foo(): number { return 42; }
function bar() { return 42; }
function foo(): number { return 42; }
function bar() { return 42; }
function foo(): number { return 42; }
function bar() { return 42; }
function foo(): number { return 42; }
function bar() { return 42; }
require-types-at-top
Requires all type declarations to be at the top of the file, after any import declarations.
Options
The rule has a string option:
The default value is "always"
.
require-valid-file-annotation
This rule validates Flow file annotations.
This rule can optionally report missing or missed placed annotations, common typos (e.g. // @floww
), and enforce a consistant annotation style.
Options
The rule has a string option:
"never"
(default): Never report files that are missing an @flow
annotation."always"
: Always report files that are missing an @flow
annotation
This rule has an object option:
"annotationStyle"
- Enforce a consistant file annotation style.
"none"
(default): Either annotation style is accepted."line"
: Require single line annotations (i.e. // @flow
)."block"
: Require block annotations (i.e. /* @flow */
).
{
"rules": {
"flowtype/require-valid-file-annotation": [
2,
"always"
]
}
}
{
"rules": {
"flowtype/require-valid-file-annotation": [
2,
"always", {
"annotationStyle": "block"
}
]
}
}
The following patterns are considered problems:
;
;
a;
a;
a;
The following patterns are not considered problems:
a;
a;
a;
a;
a;
a;
a;
a;
require-variable-type
Requires that all variable declarators have type annotations.
Options
You can exclude variables that match a certain regex by using excludeVariableMatch
.
This excludes all parameters that start with an underscore (_
).
The default pattern is a^
, which doesn't match anything, i.e., all parameters are checked.
{
"rules": {
"flowtype/require-variable-type": [
2,
{
"excludeVariableMatch": "^_"
}
]
}
}
You can choose specific variable types (var
, let
, and const
) to ignore using excludeVariableTypes
.
This excludes var
and let
declarations from needing type annotations, but forces const
declarations to have it.
By default, all declarations are checked.
{
"rules": {
"flowtype/require-variable-type": [
2,
{
"excludeVariableTypes": {
"var": true,
"let": true,
"const": false,
}
}
]
}
}
The following patterns are considered problems:
var foo = "bar"
var foo : string = "bar", bar = 1
var _foo = "bar", bar = 1
var foo = "bar", bar = 1; const oob : string = "oob"; let hey = "yah"
The following patterns are not considered problems:
var foo : string = "bar"
var foo : string = "bar", bar : number = 1
var _foo = "bar", bar : number = 1
var foo = "bar", bar = 1
var foo = "bar", bar = 1; const oob : string = "oob"; let hey = "yah"
semi
The --fix
option on the command line automatically fixes problems reported by this rule.
Enforces consistent use of semicolons after type aliases.
This rule takes one argument. If it is 'never'
then a problem is raised when there is a semicolon after a type alias. If it is 'always'
then a problem is raised when there is no semicolon after a type alias.
The default value is 'always'
.
The following patterns are considered problems:
type FooType = {}
type FooType = {}
type FooType = {};
The following patterns are not considered problems:
type FooType = {};
type FooType = {};
type FooType = { a: number;
b: string;
};
type FooType = { a: number;
b: string;
}
type FooType = {}
type FooType = {}
sort-keys
The --fix
option on the command line automatically fixes problems reported by this rule.
Enforces sorting of Object annotations.
This rule mirrors ESlint's sort-keys rule.
Options
The first option specifies sort order.
"asc"
(default) - enforce ascending sort order."desc"
- enforce descending sort order.
The second option takes an object with two possible properties.
caseSensitive
- if true
, enforce case-sensitive sort order. Default is true
.natural
- if true
, enforce natural sort order. Default is false
.
{
"rules": {
"flowtype/sort-keys": [
2,
"asc", {
"caseSensitive": true,
"natural": false
}
]
}
}
The following patterns are considered problems:
type FooType = { a: number, c: number, b: string }
type FooType = { a: number, b: number, C: number }
type FooType = { 1: number, 2: number, 10: number }
type FooType = { a: number, b: number }
type FooType = { C: number, b: number, a: string }
type FooType = { 10: number, 2: number, 1: number }
type FooType = { a: number, c: number, C: number, b: string }
type FooType = { a: number, C: number, c: number, b: string }
type FooType = { 1: number, 10: number, 2: boolean }
type FooType = { a: number, c: number, b: string }
type FooType = {
a: number,
c: number,
b: string,
}
type FooType = {
+a: number,
c: number,
b: string,
}
type FooType = {
-a: number,
c: number,
b: string,
}
type FooType = {
a?: number,
c: ?number,
b: string,
}
type FooType = {
a: (number) => void,
c: number,
b: (param: string) => number,
}
type FooType = {
a: number | string | boolean,
c: number,
b: (param: string) => number,
}
type FooType = {
c: number,
a: number | string | boolean,
b: (param: string) => number,
}
type FooType = {
c: {
z: number,
x: string,
y: boolean,
},
a: number | string | boolean,
b: (param: string) => number,
}
type FooType = {
c: {
z: {
j: string,
l: number,
k: boolean,
},
x: string,
y: boolean,
},
a: number | string | boolean,
b: (param: string) => number,
}
type FooType = {
+c: number,
-b: number,
a: number,
}
type FooType = {|
+c: number,
-b: number,
a: number,
|}
The following patterns are not considered problems:
type FooType = { a: number }
type FooType = { a: number, b: number, c: (boolean | number) }
type FooType = { C: number, a: string, b: foo }
type FooType = { 1: number, 10: number, 2: boolean }
type FooType = { c: number, b: number, a: number }
type FooType = { b: string, a: {}, C: number }
type FooType = { 2: number, 10: number, 1: boolean }
type FooType = { a: number, b: number, c: number, C: number }
type FooType = { a: number, b: number, C: number, c: number }
type FooType = { 1:number, 2: number, 10: number }
type FooType = { b: number, a: number }
space-after-type-colon
The --fix
option on the command line automatically fixes problems reported by this rule.
Enforces consistent spacing after the type annotation colon.
Options
This rule has a string argument.
"always"
(default): Require a space after the type annotation colon (e.g. foo: BarType)."never"
: Require no spaces after the type annotation colon (e.g. foo:BarType).
This rule has an option object.
"allowLineBreak"
- Allow a line break to count as a space following the annotation colon.
"true"
: Enable"false"
: Disable
{
"rules": {
"flowtype/space-after-type-colon": [
2,
"always", {
"allowLineBreak": false
}
]
}
}
The following patterns are considered problems:
(foo: string) => {}
(foo: string) => {}
(foo:(() => void)) => {}
(foo: (() => void)) => {}
(foo: (() => void)) => {}
({ lorem, ipsum, dolor } : SomeType) => {}
(foo:{ a: string, b: number }) => {}
({ a, b } :{ a: string, b: number }) => {}
([ a, b ] :string[]) => {}
(i?:number) => {}
(i?: number) => {}
(i?: number) => {}
(foo:
{ a: string, b: number }) => {}
(foo:
{ a: string, b: number }) => {}
(foo:
{ a: string, b: number }) => {}
():Object => {}
(): Object => {}
(): Object => {}
():(() => void) => {}
(): (() => void) => {}
(): (() => void) => {}
export default function (foo: string) {}
function foo (foo: string) {}
(foo:string) => {}
function foo (foo:string) {}
async function foo({ lorem, ipsum, dolor }:SomeType) {}
function x(i?:number) {}
function x(i?: number) {}
function x(i?: number) {}
function a():x {}
function a(): x {}
function a(): x {}
type X = (foo:number) => string
type X = (foo: number) => string
type X = (foo: number) => string
type X = (foo:?number) => string
type X = (foo:(number)) => string
type X = (foo:((number))) => string
type X = (foo: ((number))) => string
type X = (foo: ((number))) => string
type X = (foo:?(number)) => string
type TArrayPredicate = (el: T, i?:number) => boolean
type TArrayPredicate = (el: T, i?: number) => boolean
type TArrayPredicate = (el:T, i?: number) => boolean
class X { foo:string }
class X { foo: string }
class X { foo:?string }
class X { foo: ?string }
class X { static foo:number }
class X { static foo: number }
class X { static foo :number }
class X { static foo : number }
declare class X { static foo:number }
declare class X { static foo: number }
declare class X { static foo :number }
declare class X { static foo : number }
class X { +foo:string }
class X { +foo: string }
class X { +foo: string }
class X { static +foo:string }
class X { static +foo: string }
class X { static +foo: string }
type X = { foo:string }
type X = { foo:string }
type X = { foo: string }
type X = { foo: string }
type X = { foo?:string }
type X = { foo?: string }
type X = { foo?:?string }
type X = { foo?: ?string }
type Foo = { barType:(string | () => void) }
type Foo = { barType:(((string | () => void))) }
type Foo = { barType: (string | () => void) }
type Foo = { barType: (string | () => void) }
type Foo = { barType: ((string | () => void)) }
type X = { get:() => A; }
type X = { get:<X>() => A; }
type X = { get: () => A; }
type X = { get: <X>() => A; }
type X = { get: () => A; }
type X = { get: <X>() => A; }
type X = { +foo:string }
type X = { +foo: string }
type X = { +foo: string }
type X = { +foo?:string }
type X = { +foo?: string }
type X = { +foo?: string }
type X = { [a:b]: c }
type X = { [a: b]:c }
type X = { [a: b]: c }
type X = { +[a:b]: c }
type X = { +[a: b]:c }
type X = { +[a: b]: c }
type X = { [a: b]:c }
type X = { [a:b]: c }
type X = { [a: b]: c }
type X = { [a:b]:c }
type X = { [a: b]: c }
type X = { [a: b]: c }
type X = { [a:(b)]:(c) }
type X = { [a: (b)]: (c) }
const x = ({}: {})
const x = ({}:{})
const x = ({}: {})
((x): (string))
((x):(string))
((x): (string))
const x:number = 7;
let x:number = 42;
var x:number = 42;
The following patterns are not considered problems:
(foo) => {}
(foo: string) => {}
(foo: (string|number)) => {}
(foo:string) => {}
(foo: string) => {}
(foo:(() => void)) => {}
(foo: (() => void)) => {}
({ lorem, ipsum, dolor }: SomeType) => {}
(foo: { a: string, b: number }) => {}
({ a, b }: ?{ a: string, b: number }) => {}
([ a, b ]: string[]) => {}
(i?: number) => {}
(i?:number) => {}
(foo:
{ a: string, b: number }) => {}
(foo:
{ a: string, b: number }) => {}
():Object => {}
(): Object => {}
():(number | string) => {}
(): (number | string) => {}
():number|string => {}
(): number|string => {}
():(() => void) => {}
(): (() => void) => {}
():( () => void ) => {}
(): ( () => void ) => {}
(): { a: number, b: string } => {}
() :{ a:number, b:string } => {}
function x(foo: string) {}
class Foo { constructor(foo: string) {} }
function x(foo:string) {}
class Foo { constructor(foo:string) {} }
async function foo({ lorem, ipsum, dolor }: SomeType) {}
function x({ a, b }: { a: string, b: number }) {}
function x(i?: number) {}
function x(i?:number) {}
function a(): x {}
function a():x {}
function a(): (number | string) {}
function a() :(number | string) {}
type X = (foo: number) => string;
type X = (foo : number) => string;
type X = (foo: ?number) => string;
type X = (foo? : ?number) => string;
type X = (foo: ?{ x: number }) => string;
type X = (foo:number) => string;
type X = (foo:?{ x:number }) => string;
type X = (foo: (number)) => string
type X = (foo: ((number))) => string
type X = (foo:((number))) => string
type X = ?(foo: ((number))) => string
type X = ?(foo:((number))) => string
type TArrayPredicate = (el: T, i?: number) => boolean
type TArrayPredicate = (el:T, i?:number) => boolean
type X = (number) => string;
type X = (?number) => string;
type X = number => string;
type X = ?number => string;
type X = ({ foo: bar }) => string;
type X = (number) => string;
type X = (?number) => string;
type X = number => string;
type X = ?number => string;
type X = ({ foo: bar }) => string;
class Foo { bar }
class Foo { bar = 3 }
class Foo { bar: string }
class Foo { bar: ?string }
class Foo { bar:string }
class Foo { bar:?string }
class X { static foo : number }
class X { static foo :number }
declare class X { static foo : number }
declare class X { static foo :number }
class X { +foo: string }
class X { static +foo: string }
class X { +foo:string }
class X { static +foo:string }
type X = { foo: string }
type X = { foo:string }
type X = { foo?: string }
type X = { foo?: ?string }
type X = { foo?:?string }
type Foo = { barType: (string | () => void) }
type Foo = { barType: ((string | () => void)) }
type Foo = { barType:(string | () => void) }
type Foo = { barType:((string | () => void)) }
type X = { get(): A; }
type X = { get<X>(): A; }
type X = { get(): A; }
type X = { get<X>(): A; }
type X = { get: () => A; }
type X = { get: <X>() => A; }
type X = { get:() => A; }
type X = { get:<X>() => A; }
type X = { +foo: string }
type X = { +foo?: string }
type X = { +foo:string }
type X = { +foo?:string }
type X = { [a: b]: c }
type X = { [a:b]:c }
type X = { +[a: b]: c }
type X = { +[a:b]:c }
type X = { [string]: c }
type X = { [string]:c }
const x = ({}:{})
const x = ({}: {})
((x):(string))
((x): (string))
const x: number = 7;
let x: number = 42;
var x: number = 42;
space-before-generic-bracket
The --fix
option on the command line automatically fixes problems reported by this rule.
Enforces consistent spacing before the opening <
of generic type annotation parameters.
This rule takes one argument. If it is 'never'
then a problem is raised when there is a space before the <
. If it is 'always'
then a problem is raised when there is no space before the <
.
The default value is 'never'
.
The following patterns are considered problems:
type X = Promise <string>
type X = Promise <string>
type X = Promise <string>
type X = Promise<string>
type X = Promise <string>
The following patterns are not considered problems:
type X = Promise<string>
type X = Promise <string>
space-before-type-colon
The --fix
option on the command line automatically fixes problems reported by this rule.
Enforces consistent spacing before the type annotation colon.
This rule takes one argument. If it is 'always'
then a problem is raised when there is no space before the type annotation colon. If it is 'never'
then a problem is raised when there is a space before the type annotation colon. The default value is 'never'
.
The following patterns are considered problems:
(foo : string) => {}
(foo ? : string) => {}
(foo: string) => {}
(foo : string) => {}
(foo?: string) => {}
(foo ? : string) => {}
(foo ?: string) => {}
({ lorem, ipsum, dolor } : SomeType) => {}
(foo : { a: string, b: number }) => {}
({ a, b } : { a: string, b: number }) => {}
([ a, b ] : string[]) => {}
() : x => {}
(): x => {}
() : x => {}
function x(foo : string) {}
function x(foo: string) {}
var x = function (foo : string) {}
var x = function (foo: string) {}
class Foo { constructor(foo : string ) {} }
class Foo { constructor(foo: string ) {} }
async function foo({ lorem, ipsum, dolor } : SomeType) {}
function a() : x {}
function a(): x {}
function a() : x {}
type X = (foo :string) => string;
type X = (foo:string) => string;
type X = (foo :string) => string;
type X = (foo? :string) => string;
type X = (foo? :string) => string;
type X = (foo?:string) => string;
type X = (foo? :?string) => string;
class X { foo :string }
class X { foo: string }
class X { foo :?string }
class X { foo: ?string }
class X { static foo : number }
class X { static foo :number }
class X { static foo: number }
class X { static foo:number }
declare class Foo { static bar :number; }
declare class Foo { static bar : number; }
declare class Foo { static bar:number; }
declare class Foo { static bar: number; }
class X { +foo: string }
class X { +foo : string }
class X { +foo : string }
class X { static +foo: string }
class X { static +foo : string }
class X { static +foo : string }
type X = { foo : string }
type X = { foo : string }
type X = { foo: string }
type X = { foo : string }
type X = { foo? : string }
type X = { foo?: string }
type X = { foo? : string }
type X = { foo ?: string }
type X = { +foo: string }
type X = { +foo : string }
type X = { +foo : string }
type X = { +foo?: string }
type X = { +foo? : string }
type X = { +foo? : string }
type X = { [a: b] : c }
type X = { [a : b]: c }
type X = { [a : b] : c }
type X = { +[a:b] : c }
type X = { +[a : b]: c }
type X = { +[a : b] : c }
type X = { [a : b]: c }
type X = { [a: b] : c }
type X = { [a : b] : c }
type X = { [a:b]:c }
type X = { [a : b] : c }
type X = { [a : b] : c }
type X = { [a:(b)]:(c) }
type X = { [a : (b)] : (c) }
const x = ({} :{})
const x = ({}:{})
const x = ({} :{})
((x) : string)
((x): string)
((x) : string)
const x:number = 7;
let x:number = 42;
var x:number = 42;
The following patterns are not considered problems:
(foo) => {}
(foo: string) => {}
(foo?: string) => {}
(foo ?: string) => {}
(foo: string) => {}
(foo : string) => {}
(foo? : string) => {}
(foo ? : string) => {}
(foo ? : string) => {}
({ lorem, ipsum, dolor }: SomeType) => {}
(foo: { a: string, b: number }) => {}
({ a, b }: ?{ a: string, b: number }) => {}
(): { a: number, b: string } => {}
() : { a : number, b : string } => {}
([ a, b ]: string[]) => {}
(): x => {}
() : x => {}
(): (number | string) => {}
() : (number | string) => {}
function x(foo: string) {}
function x(foo : string) {}
var x = function (foo: string) {}
var x = function (foo : string) {}
class X { foo({ bar }: Props = this.props) {} }
class Foo { constructor(foo: string ) {} }
class Foo { constructor(foo : string ) {} }
async function foo({ lorem, ipsum, dolor }: SomeType) {}
function x({ a, b }: { a: string, b: number }) {}
function a(): x {}
function a() : x {}
function a(): (number | string) {}
function a() : (number | string) {}
type X = (foo:string) => number;
type X = (foo: string) => number;
type X = (foo: ?string) => number;
type X = (foo?: string) => number;
type X = (foo?: ?string) => number;
type X = (foo ?: string) => number;
type X = (foo? : string) => number
type X = (foo? : ?string) => number
type X = (number) => string;
type X = (?number) => string;
type X = number => string;
type X = ?number => string;
type X = ({ foo: bar }) => string;
type X = (number) => string;
type X = (?number) => string;
type X = number => string;
type X = ?number => string;
type X = ({ foo : bar }) => string;
class Foo { bar }
class Foo { bar = 3 }
class Foo { bar: string }
class Foo { bar: ?string }
class Foo { bar:?string }
class Foo { bar : string }
class X { static foo:number }
class X { static foo: number }
class X { static foo :number }
class X { static foo : number }
declare class Foo { static bar:number; }
declare class Foo { static bar :number; }
declare class Foo { static bar: number; }
declare class Foo { static bar : number; }
class X { +foo: string }
class X { static +foo: string }
class X { +foo : string }
class X { static +foo : string }
type X = { foo: string }
type X = { foo : string }
type X = { foo?: string }
type X = { foo ?: string }
type X = { foo? : string }
type X = { +foo: string }
type X = { +foo?: string }
type X = { +foo : string }
type X = { +foo? : string }
type X = { [a : b] : c }
type X = { [a:b]:c }
type X = { [string] : c }
type X = { [string]:c }
type X = { +[a : b] : c }
type X = { +[a:b]:c }
type X = { [a : (b)] : (c) }
type X = { [a:(b)]:(c) }
const x = ({}:{})
const x = ({} :{})
((x): string)
((x) : string)
const x :number = 7;
let x :number = 42;
var x :number = 42;
type-id-match
Enforces a consistent naming pattern for type aliases.
Options
This rule needs a text RegExp to operate with Its signature is as follows:
{
"rules": {
"flowtype/type-id-match": [
2,
"^([A-Z][a-z0-9]*)+Type$"
]
}
}
'^([A-Z][a-z0-9]*)+Type$'
is the default pattern.
The following patterns are considered problems:
type foo = {};
type FooType = {};
The following patterns are not considered problems:
type FooType = {};
type foo = {};
type foo = {};
type-import-style
The --fix
option on the command line automatically fixes problems reported by this rule.
Enforces a particular style for type imports:
// 'identifier' style
import {type T, type U, type V} from '...';
// 'declaration' style
import type {T, U, V} from '...';
The rule has a string option:
"identifier"
(default): Enforces that type imports are all in the
'identifier' style."declaration"
: Enforces that type imports are all in the 'declaration'
style.
The following patterns are considered problems:
import type {A, B} from 'a';
import type {A, B} from 'a';
import type {A, B as C} from 'a';
import type A from 'a';
import {type A, type B} from 'a';
The following patterns are not considered problems:
import {type A, type B} from 'a';
import {type A, type B} from 'a';
import type {A, B} from 'a';
union-intersection-spacing
The --fix
option on the command line automatically fixes problems reported by this rule.
Enforces consistent spacing around union and intersection type separators (|
and &
).
This rule takes one argument. If it is 'always'
then a problem is raised when there is no space around the separator. If it is 'never'
then a problem is raised when there is a space around the separator.
The default value is 'always'
.
The following patterns are considered problems:
type X = string| number;
type X = string| number;
type X = string |number;
type X = string|number;
type X = {x: string}|{y: number};
type X = string | number |boolean;
type X = string|number|boolean;
type X = (string)| number;
type X = ((string))|(number | foo);
type X = string |number;
type X = string| number;
type X = string& number;
type X = string& number;
type X = string &number;
type X = {x: string}&{y: number};
type X = string&number;
type X = string & number &boolean;
type X = string&number&boolean;
type X = (string)& number;
type X = ((string))&(number & foo);
type X = string &number;
type X = string& number;
The following patterns are not considered problems:
type X = string | number;
type X = string | number | boolean;
type X = (string) | number;
type X = ((string)) | (number | foo);
type X = string|number
type X =
| string
| number
function x() {
type X =
| string
| number
}
type X = string| number;
type X = string & number;
type X = string & number & boolean;
type X = (string) & number;
type X = ((string)) & (number & foo);
type X = string&number
type X =
& string
& number
function x() {
type X =
& string
& number
}
type X = string& number;
use-flow-type
Marks Flow type alias declarations as used.
Used to suppress no-unused-vars
errors that are triggered by type aliases.
The following patterns are not considered problems:
declare class A {}
declare function A(): Y
declare module A {}
declare module A { declare var a: Y }
declare var A: Y
import type A from "a"; (function<T: A>(): T {})
(function<T: A>(): T {}); import type A from "a"
import type {A} from "a"; (function<T: A>(): T {})
(function<T: A>(): T {}); import type {A} from "a"
(function<T: A>(): T {}); import type {a as A} from "a"
type A = {}; function x<Y: A>(i: Y) { i }; x()
function x<Y: A>(i: Y) { i }; type A = {}; x()
type A = {}; function x<Y: A.B.C>(i: Y) { i }; x()
function x<Y: A.B.C>(i: Y) { i }; type A = {}; x()
valid-syntax
Deprecated Babylon (the Babel parser) v6.10.0 fixes parsing of the invalid syntax this plugin warned against.
Checks for simple Flow syntax errors.